Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
261	1/ Toccata Toccata Deductive Verification, Certified Tools and Numerical Computations Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Formal methods Functional languages Logic in computer science Theoretical computer science Automated theorem proving Formal verification SIGNAL Coq National Institute for Research in Computer Science and Control Computing Software engineering Software
262	Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification; D.2.5 [Software Engineering]: Testing and Debugging Keywords Asynchronous programming; state machines; concurrency; static d Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-04-20 15:35:55 Actuarial science Econometrics Regression analysis Algorithm Parallel computing IP Actor model Applied mathematics Mathematics Theoretical computer science
263	RHODE ISLAND NATIONAL GUARD MEDIA CREDENTIAL REQUEST May 30-31, 2015 Featuring the Blue Angels Media Credentials will be extended only to media on assignment (Verification of assignment needed prior to credential issue Add to Reading List Source URL: www.riairshow.org Language: English - Date: 2015-02-27 16:57:11 Gmail Computing World Wide Web Software Identity management Credential Knowledge
264	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing
265	Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.” Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Compiler construction SPIN model checker Software bug Gerard J. Holzmann Holzmann Programming tool Embedded system Compiler Software Formal methods Computing
266	Gerard J. Holzmann Work: Laboratory for Reliable Software NASA/JPL, 4800 Oak Grove Drive Add to Reading List Source URL: spinroot.com Language: English - Date: 2015-05-15 14:06:48 Science Software development Logic in computer science Systems engineering Software quality Gerard J. Holzmann Software verification Formal verification Model checking Formal methods Theoretical computer science Software testing
267	HES-DVM™ HW/SW Validation Platform Hybrid Verification Platform HES-DVMTM is a Hybrid Verification and Validation Platform for Hardware and Software developers of SoC and ASIC designs up to 144M ASIC gates. Utilizing Add to Reading List Source URL: www.aldec.com Language: English - Date: 2015-02-02 17:14:32 Hardware verification languages Aldec Logic design Hardware emulation Hardware description languages Field-programmable gate array Joint Test Action Group Mentor Graphics Application-specific integrated circuit Electronic engineering Electronic design automation Digital electronics
268	II.A. Tank Testing Purpose of Tank Testing Tank testing is performed to obtain high quality data for a proposed device under a controlled environment. Estimates of final performance may also be obtained against a selecti Add to Reading List Source URL: www.chrissmithonline.co.uk Language: English - Date: 2010-04-28 04:01:06 Software testing Evaluation methods Systems engineering Design of experiments Psychometrics Statistical hypothesis testing Quality assurance Software development process Verification and validation Science Information Statistics
269	Michael W. Whalen http://www.cs.umn.edu/~whalen Work Address: 200 Union St Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2015-01-22 15:38:55 Software requirements Avionics Software testing Software quality Software verification Whalen Software development process Verification Formal verification Software development Software Formal methods
270	Roster Verification and Testing Windows JAG Pre- and Post-Testing (Course Numbers, 493780, andPre-Testing Window September 8-October 3, 2014 Add to Reading List Source URL: www.arcteassessment.com Language: English - Date: 2014-05-22 16:53:51 Academic term Software testing Software Freedesktop.org X Window System

UPDATE